Distributive residual implications from uninorms
نویسندگان
چکیده
In this paper the equation I(U1(x,y),z) = U2(I(x,z), I(y,z)) for all x,y,z ∈ [0,1] is solved where I is a residual implication defined from a uninorm U , and U1,U2 are a conjunctive and a disjunctive uninorm, respectively. Three cases are considered: i) when U is a t-norm, ii) when U1 is a t-norm and/or U2 is a t-conorm, and iii) the general case when the neutral elements of U,U1 and U2 are in ]0,1[.
منابع مشابه
Implications, coimplications and left semi-uninorms on a complete lattice
In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...
متن کاملSemi-uninorms and implications on a complete lattice
In this paper, we study the relationships between left (right) semi-uninorms and implications on a complete lattice. We firstly discuss the residual operations of left and right semi-uninorms and show that the right (left) residual operator of a conjunctive right (left) ∨-distributive left (right) semi-uninorm is a right ∧-distributive implication that satisfies the neutrality principle. Then, ...
متن کاملStrict Left (Right)-Conjunctive Left (Right) Semi-Uninorms and Implications Satisfying the Order Property
We firstly give out the formulas for calculating the upper and lower approximation strict left (right)-conjunctive left (right) semi-uninorms of a binary operation. Then, we lay bare the formulas for calculating the upper and lower approximation implications, which satisfy the order property, of a binary operation. Finally, we reveal the relationships between the upper approximation strict left...
متن کاملOn orders induced by implications
In this paper, the orders induced by the residual implications obtained from uninorms are investigated. A necessary and sufficient condition is presented so that the ordinal sum of fuzzy implications satisfies the law of importation with a t-norm $T$. Some relationships between the orders induced by an ordinal sum implication and its summands are determined. The algebraic structures obtained fr...
متن کاملResidual implications derived from uninorms satisfying Modus Ponens
Modus Ponens is a key property for fuzzy implication functions that are going to be used in fuzzy inference processes. In this paper it is investigated when fuzzy implication functions derived from uninorms via residuation, usually called RU implications, satisfy the modus ponens with respect to a continuous t-norm T , or equivalently, when they are T -conditionals. For RU -implications it is p...
متن کامل